Characteristica Universalis *

نویسنده

  • Barry Smith
چکیده

Yores hensigt vil her va::re at konstruere dele af et direkte afbildende sprog, som vil sa::tte os i stand til at repra::sentere virkelighedens mest generelle strukturer. Vi skal ikke her benytte os af de logiske standard-behandlinger af epistemiske tilstande, der sa::dvanligvis opfatter disse som domme (propositioner). Vi vil i stedet genoptage den ikke mindre a::rva::rdige, men nutildags noget oversete formalontologiske tradition, inden for hvilken hverken sa::tninger eller domme (propositioner), men kort, diagrammer eller billeder tjener som konstituenter i vor afbildning af virkeligheden. Konstruktionen af et direkte afbildende sprog forst:i.r vi i en vis forstand som et eksperimentelt anliggende. Man kan, som Peirce bema::rkede, "foretage pra::cise eksperimenter med ensartede diagrammer", og, i formalontologien, sadan som vi forst:i.r den, vil operationer pa diagrammer "erstatte eksperimenter med virkelige genstande, sadan som de udfores inden for kemi og fysik''. 1 Kemikeren ka::mper naturligvis i sine eksperimenter med virkelighedens egentlige bestanddele, hvis egenskaber han er interesseret i at fastla::gge. Her vil vi tra::de et skridt tilbage og eksperimentere med virkelighedens diagrammer. Modsa::tningen er dog ikke sa stor, som den kan synes. Det er netop ikke de enkelte pr0ver, kemikeren interesserer sig for, snarere er (i Scotus' stil):

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Leibniz’s Laws of Continuity and Homogeneity

From the Characteristica Universalis to Ideal Entities Leibniz envisioned the creation of a universal language, characteristica universalis, ambitiously designed to serve as the vehicle for deduction and discovery in all fields of knowledge. Couturat [10] pointed out in 1901 that, in Leibniz’s vision, the infinitesimal calculus was but the first salvo, or sample, of his characteristica universa...

متن کامل

A Short Survey of Automated Reasoning

This paper surveys the field of automated reasoning, giving some historical background and outlining a few of the main current research themes. We particularly emphasize the points of contact and the contrasts with computer algebra. We finish with a discussion of the main applications so far. 1 Historical introduction The idea of reducing reasoning to mechanical calculation is an old dream [75]...

متن کامل

Calculus Ratiocinator vs. Characteristica Universalis? The Two Traditions in Logic, Revisited

It is a commonplace that in the development of modern logic towards its actual shape at least two directions or traditions have to be distinguished. These traditions may be called, following the model of Ivor Grattan-Guinness (1988 ), the tradition of the algebra of logic and the tradition of mathematical logic. They are represented by the developments going back to the British algebraist Georg...

متن کامل

A wavelet-domain PSOLA approach

A basic problem in concatenative speech synthesis are discontinuities at the concatenation points. The units which are produced by different (independent) articulatory movements differ in their spectral characteristics even if their phonetic context is carefully chosen. This paper describes a wavelet transform of the spectrum of the speech concatenated within the PSOLA algorithm. This multireso...

متن کامل

Notes on the Philosophy of Leibniz

Mainly about his lingua characteristica and calculus ratiocinator. Created 2005/01/26 Last Change Date: 2008-09-09 20:21:11 http://www.rbjones.com/rbjpub/www/papers/p005.pdf Id: p005.tex,v 1.6 2008-09-09 20:21:11 rbj Exp c © Roger Bishop Jones; Licenced under Gnu LGPL p005.tex; 25/01/2010; 13:13; p.1

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1990